1. Advances in computers.
پدیدآورنده : edited by Marvin V. Zelkowitz.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Computer science.,Computers.,Electronic data processing.,Computer science.,COMPUTERS-- Computer Literacy.,COMPUTERS-- Computer Science.,COMPUTERS-- Data Processing.,COMPUTERS-- Hardware-- General.,COMPUTERS-- Information Technology.,COMPUTERS-- Machine Theory.,COMPUTERS-- Reference.,Computers.,Electronic data processing.
رده :
QA76
.
A3eb
vol
.
47
2. Advances in computers.
پدیدآورنده : edited by Franz L. Alt and Morris Rubinoff.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Computer science.,Computers.,Electronic datat processing.,Computer science.,COMPUTERS-- Computer Literacy.,COMPUTERS-- Computer Science.,COMPUTERS-- Data Processing.,COMPUTERS-- Hardware-- General.,COMPUTERS-- Information Technology.,COMPUTERS-- Machine Theory.,COMPUTERS-- Reference.,Computers.
رده :
QA76
.
A3eb
vol
.
5
3. Artificial intelligence and heuristic programming
پدیدآورنده : editors: N. V. Findler [and] Bernard Meltzer
موضوع : Artificial intelligence,Electronic digital computers - Programming,Heuristic programming
۲ نسخه از این کتاب در ۲ کتابخانه موجود است.
4. Artificial intelligence research and development :
پدیدآورنده : edited by Teresa Alsinet, Josep Puyol-Gruart, and Carme Torras.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Artificial intelligence, Congresses.,Digital computer simulation, Congresses.,Artificial intelligence.,COMPUTERS-- Enterprise Applications-- Business Intelligence Tools.,COMPUTERS-- Intelligence (AI) & Semantics.,Digital computer simulation.
رده :
Q334
.
C37
2008eb
5. Automated reasoning: 33 Base research problems
پدیدآورنده : Larry Wos
کتابخانه: كتابخانه مركزي و مركز اطلاع رساني دانشگاه شاهد (طهران)
موضوع : Automatic theorem proving,Artificial intelligence,Electronic digital computers- Programming
رده :
QA
،
76
.
9
،.
A96
,
W67
،
1988
6. Automated reasoning: introduction and applications
پدیدآورنده : )by( Larry Wos )et al.(
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)
موضوع : ، Automatic theorem proving,، Artificial intelligence,Programming ، Electronic digital computers
رده :
QA
76
.
9
.
A96
A93
1984
7. Catalogue of artificial intelligence tools
پدیدآورنده : edited by Alan Bundy
کتابخانه: (طهران)
موضوع : ، Artificial intelligence -- Data processing,، Robotics,، Electronic digital computers -- Programming,Catalogs ، Computer programs
رده :
Q
336
.
C27
1986
8. Catalogue of artificial intelligence tools
پدیدآورنده : Bundy, Alan
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (طهران)
موضوع : ، Artificial intelligence-- Data processing,، Robotics,، Electronic digital computers-- Programming,، Computer software-- Catalogs
رده :
Q
336
.
B86
1986
9. Catalogue of artificial intelligence tools
پدیدآورنده : Bundy, Alan.
کتابخانه: المکتبه المرکزيه ومرکز التوثیق بجامعة الشهید باهنر فی کرمان (کرمان)
موضوع : ، Artificial intelligence - Data processing,، Robotics,، Electronic digital computers - Programming,، Computer software - Catalogs
رده :
Q
336
.
B86
1984
10. Catalogue of artificial intelligence tools
پدیدآورنده : BUNDY,ALAN
کتابخانه: (طهران)
موضوع : ARTIFICIAL INTELLIGENCE-DATA PROCESSING , ROBOTICS , ELECTRONIC DIGITAL COMPUTERS-
رده :
Q
336
.
B86
1986
11. Communication, devices, and computing :
پدیدآورنده : Jaydeb Bhaumik, Indrajit Chakrabarti, Bishnu Prasad De, Banibrata Bag, Surajit Mukherjee, editors.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Computer networks, Congresses.,Computer security, Congresses.,Artificial intelligence.,Communications engineering-- telecommunications.,Computer networks.,Computer security.,COMPUTERS-- Computer Literacy.,COMPUTERS-- Computer Science.,COMPUTERS-- Data Processing.,COMPUTERS-- Hardware-- General.,COMPUTERS-- Information Technology.,COMPUTERS-- Machine Theory.,COMPUTERS-- Reference.
رده :
TK5105
.
5
12. Computer Security -- ESORICS 92 :
پدیدآورنده : edited by Yves Deswarte, Gérard Eizenberg, Jean-Jacques Quisquater.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Computer Communication Networks.,Computer science.,Operating systems (Computers)
13. Computers and languages: Theory and Practice
پدیدآورنده : Anton, Nijholt
کتابخانه: كتابخانه مركزي و مركز اطلاع رساني دانشگاه شاهد (طهران)
موضوع : Electronic digital computers- Programming,Programming language (Electronic Computer)
رده :
QA
،
76
.
6
،.
N55
،
1988
14. Contemporary computing :
پدیدآورنده : Sanjay Ranka [and others] (eds.).
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Computer science, Congresses.,Soft computing, Congresses.,Computer science.,Computer science.,COMPUTERS-- Computer Literacy.,COMPUTERS-- Computer Science.,COMPUTERS-- Data Processing.,COMPUTERS-- Hardware-- General.,COMPUTERS-- Information Technology.,COMPUTERS-- Machine Theory.,COMPUTERS-- Reference.,Informatique.,Soft computing.,Soft computing.
رده :
QA75
.
5
.
I584
2009
15. Cooperative design, visualization, and engineering :
پدیدآورنده : Yuhua Luo (ed.).
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Architectural design-- Data processing, Congresses.,Computer-aided design, Congresses.,Engineering-- Data processing, Congresses.,Artificial Intelligence.,Computer Communication Networks.,Database Management.,Special Purpose and Application-Based Systems.,User Interfaces and Human Computer Interaction.,Architectural design-- Data processing.,Artificial intelligence.,Computer-aided design.,Computers-- Database Management-- General.,Computers-- Expert Systems.,Computers-- Hardware-- Network Hardware.,Computers-- Intelligence (AI) & Semantics.,Computers-- User Interfaces.,Databases.,Engineering-- Data processing.,Expert systems-- knowledge-based systems.,Network hardware.,User interface design & usability.
رده :
TA174
16. Developing 2D games with Unity :
پدیدآورنده : Jared Halpern.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Unity (Electronic resource),Unity (Electronic resource),C# (Computer program language),Video games-- Design.,C# (Computer program language),COMPUTERS-- Programming-- Games.,Video games-- Design.
رده :
QA76
.
76
.
C672
17. E-Government:
پدیدآورنده : edited by Michael Böhlen, Johann Gamper, Wolfgang Polasek, Maria A. Wimmer.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Artificial intelligence.,Computer science.,Computers -- Law and legislation.
رده :
JF1525
.
A8
E358
2005
18. Encyclopedia of management.
پدیدآورنده :
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Industrial management, Encyclopedias.,Management, Encyclopedias.,Industrial management.,Management.
رده :
HD30
.
15
.
E49
2009
19. Ethical and social issues in the information age
پدیدآورنده : Joseph Migga Kizza
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : LNCS sublibrary., SL 3,Information systems and applications, incl. Internet/Web, and HCI,Computer science,Computers and Society,Data Encryption,Data encryption (Computer science),Social sciences,Technology-- Philosophy,User Interfaces and Human Computer Interaction
رده :
AE5
.
S67
20. Experiments in artificial neural networks /
پدیدآورنده : Ed Rietman
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Artificial intelligence,Digital computer simulation,Neural networks (Computer science),Parallel processing (Electronic computers)
رده :
QA76
.
5
.
R484
1988